MAFALDA: Microkernel Assessment by Fault Injection and Design Aid

Dependability of COTS Microkernel-Based Systems

ÐThe commercial offer concerning microkernel technology constitutes an attractive alternative for developing operating systems to suit a wide range of application domains. However, the integration of COTS microkernels into critical embedded computer systems is a problem for system developers, in particular due to the lack of objective data concerning their behavior in the presence of faults. Th...

Can we rely on COTS microkernels for building fault-tolerant systems?

Abstract: This paper addresses the use of COTS microkernels in fault-tolerant, and, to some extent, safety-critical systems. The main issue is to assess the behavior of such components, upon which application software rely, in the presence of faults. Using fault injection, it is possible to classify the behavior of the functional primitives. From the results obtained, fault containment mechanis...

Secure by Design: Using a Microkernel RTOS to Build Secure, Fault-Tolerant Systems

CuriOS: Improving Reliability through Operating System Structure

An error that occurs in a microkernel operating system service can potentially result in state corruption and service failure. A simple restart of the failed service is not always the best solution for reliability. Blindly restarting a service which maintains client-related state such as session information results in the loss of this state and affects all clients that were using the service. C...

Fault-tolerant servers for the RHODOS system

Providing reliable services is one of the primary goals in designing a distributed operating system. Nowadays, we have seen a trend in distributed operating system design to shift from large kernel architectures or even monolithic architectures to microkernel architectures supported by the client/server model. This means that a lot of services of an operating system originally provided by the m...